Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
نویسندگان
چکیده
Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.
منابع مشابه
UML Models to CSP Models in MOMENT2-GT
MOMENT2 is an algebraic model management framework that permits manipulating models in the Eclipse Modeling Framework (EMF) [1]. Our goal consists in using OMG standards, such as Meta-Object Facility (MOF) [2], Object Constraint Language [3] and Query/View/Transformation (QVT) [4], as a clean interface between formal methods and model-based industrial tools that permits taking the best benefit ...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملCase Study: UML to CSP Transformation
The aim of this case study is to introduce a transformation from activity diagrams [1] to Communicating Sequential Processes [2]. As the de-facto standard for software design, the UML [1] activity diagram is used to describe low level behaviour of software components or to represent workflow aspect of business processes. In both cases, the verification of the behaviour can be important. The pur...
متن کاملUML Action Semantics for Model Tranformations?
Abstract. Graph transformation provides a visual but mathematically precise way to specify arbitrary model transformations in the Model Driven Architecture. The Action Semantics for UML is a standard and platform independent way to describe the dynamic behavior of methods and executable actions in UML based system models prior to implementation allowing the development of highly automated and o...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کامل